Dedekind lattice

[计] 戴德金格